package it.unisannio.lesim.parser;

import it.unisannio.lesim.fsm.FSM;
import java.io.PrintStream;
import java.util.ArrayList;

/**
 *
 * @author Marco Calisti
 * @author Antonio Cuomo
 * @author Rocco Mazzeo
 * @author Francesco Pacilio
 * 
 */

public interface ParserXMLInterface {
    
    public ArrayList readFSMS();
    
    public boolean writeFSMS(ArrayList fsms, String temp, String filename);
    
    public void writeFSM(PrintStream ps, FSM fsm);
    
    public boolean addFSM(FSM fsm, String temp, String filename);
    
}
